(declare-const v5 Bool)
(declare-const v8 Bool)
(declare-const v10 Bool)
(declare-const v11 Bool)
(declare-const v17 Bool)
(assert v5)
(push)
(assert false)
(check-sat)
(assert v10)
(check-sat)
(pop)
(assert (xor (and v5 v10) v17 v8 v11))
(push)
(check-sat)
